Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
461	A Case for Behavior-Preserving Actions in Separation Logic David Costanzo and Zhong Shao Yale University Abstract. Separation Logic is a widely-used tool that allows for local Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2015-11-04 16:38:45 Model theory Logic in computer science Separation logic Substructural logic Structure Elementary class Substitution
462	Automated Termination Proofs with AProVE? J¨ urgen Giesl, Ren´e Thiemann, Peter Schneider-Kamp, Stephan Falke LuFG Informatik II, RWTH Aachen, Ahornstr. 55, 52074 Aachen, Germany {giesl\|thiemann\|psk}@informatik.rwth-aa Add to Reading List Source URL: www-i2.informatik.rwth-aachen.de Language: English - Date: 2006-07-26 07:36:55 Theoretical computer science Mathematics Mathematical logic Logic in computer science Rewriting Termination analysis International Conference on Rewriting Techniques and Applications Algorithm Dependency graph Path ordering Polynomial
463	Jointly Learning to Parse and Perceive: Connecting Natural Language to the Physical World Jayant Krishnamurthy Computer Science Department Carnegie Mellon University Add to Reading List Source URL: rtw.ml.cmu.edu Language: English - Date: 2013-06-09 03:25:07 Logic in computer science Grammar Meaning Semantics Social philosophy Combinatory logic Logic Philosophy Abstraction
464	diploma thesis Adaptive Building Intelligence Parallel Fuzzy Controlling and Learning Architecture Based on a Temporary and Long-Term Memory Add to Reading List Source URL: www.kutter-fonds.ethz.ch Language: English - Date: 2010-05-16 10:11:32 Fuzzy logic Artificial intelligence Logic Logic in computer science Mathematical logic Theoretical computer science Control engineering Genetic fuzzy systems Fuzzy control system Genetic algorithm Fuzzy set Fuzzy markup language
465	A Model Checking Perspective on White-Box Testing Helmut Veith Technische Universität Wien Add to Reading List Source URL: icst2015.ist.tu-graz.ac.at Language: English - Date: 2015-05-13 03:57:02 Formal methods Logic in computer science Software engineering Helmut Veith Computer science Computer programming Debugging Veith Formal verification Turing Award Assertion Model checking
466	The Weird Machines in Proof-Carrying Code IEEE Security and Privacy LangSec Workshop 2014 Invited paper Julien Vanegue Bloomberg L.P. New York, USA. Add to Reading List Source URL: openwall.info Language: English - Date: 2014-10-13 00:40:06 Theoretical computer science Formal methods Computer science Software engineering Logic in computer science Dependently typed programming Proof assistants Proof-carrying code Formal verification Mathematical proof CurryHoward correspondence Algorithm
467	Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity Ilya Sergey, Aleksandar Nanevski, and Anindya Banerjee IMDEA Software Institute, Spain {ilya.sergey, aleks.nanevski, anindya.banerjee}@imdea. Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Logic in computer science Separation logic Substructural logic
468	WWW 2009 MADRID! Track: Semantic/Data Web / Session: Linked Data SOFIE: A Self-Organizing Framework for Information Extraction Add to Reading List Source URL: www2009.org Language: English - Date: 2009-03-19 16:33:39 Theoretical computer science Mathematics Software engineering Logic in computer science Ontology Information science Knowledge representation Technical communication Maximum satisfiability problem Boolean satisfiability problem YAGO Prolog
469	Local Actions for a Curry-style Operational Semantics ∗ Gordon Stewart Andrew W. Appel Princeton University, Princeton, NJ, USA Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2010-11-22 11:49:24 Logic Theoretical computer science Logic in computer science Mathematical logic Programming language semantics Philosophical logic Non-classical logic Operational semantics Semantics Kripke semantics Modal logic Axiomatic semantics

UPDATE